#desigualdades de lagarias

VGPT-RSI y verificación formal parcial de la hipótesis de Riemann

VGPT-RSI verifica formalmente la hipótesis de Riemann con certificados de frontera y desigualdades de Lagarias. Identifica obstáculos matemáticos.